how to solve integer programming